Self-adaptive mutations may lead to premature convergence

Self-adaptive mutations are known to endow evolutionary algorithms (EAs) with the ability of locating local optima quickly and accurately, whereas it was unknown whether these local optima are finally global optima provided that the EA runs long enough. In order to answer this question it is assumed that the -EA with self-adaptation is located in the vicinity of a local solution with objective function value . In order to exhibit convergence to the global optimum with probability , the EA must generate an offspring that is an element of the lower level set containing all solutions (including a global one) with objective function value less than . In case of multimodal objective functions these sets and are generally not adjacent, i.e., , so that the EA has to surmount the barrier of solutions with objective function values larger than by a lucky mutation. It will be proven that the probability of this event is less than even under an infinite time horizon. This result implies that the EA can get stuck at a non-global optimum with positive probability. Some ideas of how to avoid this problem are discussed as well.